0

If we are keen to boost the process of language learning, we need to study every aspect and component of our course. To this end, we carry out an investigation in which every detail of the course is put under microscope. Assessment of a course is an attempt in which different type of information is gathered systematically in order to study the working of a language instruction program. Certainl...

The DA will be a design assistant which can assist the programmer in lowlevel design. The input language of the DA is a cliche-based program description language that allows the specification and high-level design of commonly-written programs to be described concisely. The DA language is high-level in the sense that programmers need not bother with detailed design. The DA will provide automatic...

Hoare triples (precondition, program, postcondition) have been incorporated in the veriication system PVS. Two approaches are presented: the conventional one, with a clear distinction between syntax and semantics, and another where programs are identiied with their semantics. In the last approach speciications are embedded in the semantic framework, leading to a formalism where speciications an...